Trust and Dependence Analysis
نویسنده
چکیده
The two pillars of trust analysis and dependence algebra form the foundation of this thesis. Trust analysis is a static analysis of the run-time trustworthiness of data. Dependence algebra is a rich abstract model of data dependences in programming languages, applicable to several kinds of analyses. We have developed trust analyses for imperative languages with pointers as well as for higher order functional languages, utilizing both abstract interpretation, constraint generation and type inference. The mathematical theory of dependence algebra has been developed and investigated. Two applications of dependence algebra have been given: a practical implementation of a trust analysis for the C programming language, and a soft type inference system for action semantic specifications. Soundness results for the two analyses have been established.
منابع مشابه
Predicting Readiness for Substance Dependence based on Positive Psychological States of University Students
Objective: The purpose of this study was to predict readiness for substance dependence based on studentschr('39') positive psychological states in 2017-2018. Method: This study was a descriptive-correlational design. The statistical population was students of Amol Payame Noor University who were studying in the academic year of 2017-2018. Among them, 118 male and female students were selected t...
متن کاملبررسی نقش اعتماد و وابستگی بر عملکرد سیستم‌های اطلاعاتی در فرایند تسهیم دانش در فاوا شهرداری شیراز
one of the main challenges of knowledge management in today's knowledge-based economy, encouraging people to share their knowledge. Knowledge-based structures due to the pressing need for participation, trust-based approach should be pursued Because creating and sharing knowledge requires a high level of confidence and optimism in the relations between members of the organization together. It i...
متن کاملAnalysing Trust Transitivity and The Effects of Unknown Dependence
Trust can be used to improve online automated recommendation within a given domain. Trust transitivity is used to make it successful. But trust transitivity has different interpretations. Trust and trust transitivity; both are the human mental phenomenon and for this reason, there is no such thing as objective transitivity. Trust transitivity and trust fusion both are important elements in comp...
متن کاملEvaluation of social livability components and their interpretive structural modeling, case study: Qaen city
Introduction In the current century, known as the century of cities, a significant part of the world's population lives in cities and the trend of increasing urbanization continues. In such circumstances, the important question is to what extent cities are suitable places for human life. Hence, the concept of urban livability and livable city has become one of the most widely used concepts in...
متن کاملبررسی ارتباط ویژگی‌های شخصیتی (اختلالات شخصیت) و سبک‌های حل مسأله در زندانیان مجرم
The purpose of this research was to investigate the relationship between criminals’ personality traits and their coping styles. Finding whether there were relationships between personality scales and the coping styles or not, and if there were, which scales and personality styles were involved, was the main aim of this research. The method of this research was descriptive, in which a sample con...
متن کامل